Computer systems - PDFSEARCH.IO - Document Search Engine

Computer systems
Results: 26232

#	Item
871	Stefano Vittorino Albrecht Department of Computer Science The University of Texas at Austin svalbrecht.de Add to Reading List Source URL: svalbrecht.de Language: English - Date: 2016-05-26 13:19:09 Artificial intelligence Systems science Computer science Peter Stone Multi-agent systems International Conference on Autonomous Agents and Multiagent Systems Association for the Advancement of Artificial Intelligence Agent-based model Agent mining Draft:Chittoor V. Ramamoorthy
872	fx-9860GII In addition to all the standard features of an entry-level calculator, the fx-9860GII has an enlarged display with optional backlight for ease of view, in all types of lighting settings. Its icon-based menu i Add to Reading List Source URL: www.casioeducation.com Language: English - Date: 2015-02-09 14:21:08 Graphing calculators Business Programmable calculators Technology Casio Electronics SAT Computer algebra systems College Board Calculator PSAT/NMSQT Casio ClassPad 300
873	Hybrid EDF Packet Scheduling for Real-Time Distributed Systems Tao Qian1, Frank Mueller1, Yufeng Xin2 1North Carolina State University, USA 2RENCI, University of North Carolina at Chapel H Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-08-21 05:44:10 Scheduling Operations research Planning Windows Task Scheduler Real-time computing Computer architecture System software Software Earliest deadline first scheduling
874	PUBLISHABLE EXECUTIVE SUMMARY EGEE is a project funded by the European Commission - contract number INFSO-RIEnabling Grids for E-sciencE Add to Reading List Source URL: egee-intranet.web.cern.ch Language: English Computing Concurrent computing Grid computing Computer architecture Middleware Systems engineering GLite European Grid Infrastructure Open Grid Forum TERENA NorduGrid VOMS
875	AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems Talia Ringer Dan Grossman Add to Reading List Source URL: www.franziroesner.com Language: English - Date: 2016-08-07 19:37:33 Software Computer architecture Smartphones Computing Mobile operating systems Android IOS
876	PE Variable Data Print Training Customer Expectation Document XMPie PersonalEffect Print or XMPie PersonalEffect Print Pro or XMPie Enterprise Print Add to Reading List Source URL: campus.xmpie.com Language: English - Date: 2016-02-14 17:35:35 Digital press Software Computer graphics Graphic design Desktop publishing software Documents Variable data printing Adobe InDesign Xerox Adobe Systems Portable Document Format
877	WorkiQ resource requirements Document overview The purpose of this document is to provide a reasonable estimation of resources required for a new deployment of OpenConnect’s WorkiQ® solution. Implementation resources Add to Reading List Source URL: www.oc.com Language: English - Date: 2016-06-02 15:50:09 Software Computing System software Remote desktop Computer network security OpenConnect Citrix Systems Software deployment
878	Five Critical Considerations for Network Access Deploy and Manage Your LAN and Mobile Devices with Cisco ONE™ for Access Add to Reading List Source URL: webobjects.cdw.com Language: English - Date: 2016-04-06 10:58:57 Computing Technology American brands Videotelephony Computer network security Cisco Systems Deep packet inspection Wireless networking Virtual private network Wi-Fi Bring your own device Cisco Prime
879	HI G H- RI SE & M ULTI - TI ER SYSTEM S why borroughs High-Rise & Multi-Tier Systems Add to Reading List Source URL: www.borroughs.com Language: English - Date: 2013-11-07 08:18:34 Borroughs Business Distribution Sound Stairs Computer data storage Equalization Warehouse Technology
880	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution

UPDATE